COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	ITERATIVE
C00006 ENDMK
C⊗;
ITERATIVE
TSLOOP
NIL
NIL
NIL
NEWVAR(V1,V2);C(V1,(0));;
C(V1,V6);INTEGER(V6);STACK(V4);STACK(V5);ISVAR(V2);;
C(V1(ADD1 V6));NEXTSYM(V2);PROCESS(V2,V4,V5);;
>(V1,V3);;
POLISH(V5);;
TSL(V3,V4,V5);;

AXIOM
TINT
NIL
T
NIL
=(V1,(0)) INTEGER((SUB1 V1));;
INTEGER(V1);;

DEF
PDEF
NIL
NIL
NIL
OP(V2) RP(V2) VAR(V2) LP(V2);PROCESSYM(V2,V4,V5);;
PROCESS(V2,V4,V5);;

OP
GETNEXT(V1)
NIL
NIL
NIL
ISVAR(V1);;
NEXTSYM(V1);;

DEF
VDEF
NIL
NIL
NIL
VAR(V2);PUSHED(V2,V5);;
PROCESSYM(V2,V4,V5);;

DEF
LDEF
NIL
NIL
NIL
LP(V2);;
PROCESSYM(V2,V4,V5);;


DEF
RDEF
NIL
NIL
NIL
RP(V2);POPOPS(V4,V5);POPPED(V4);;
PROCESSYM(V2,V4,V5);;

OP
POP(V2)
NIL
NIL
NIL
STACK(V2);STACKSIZE(V2,V3);¬EMPTY(V2);;
POPPED(V2);STACKSIZE(V2,(SUB1 V3));;

OP
PUSH(V2)
NIL
NIL
NIL
STACK(V2);STACKSIZE(V2,V3);;
PUSHED(V2);STACKSIZE(V2,(ADD1 V3));;


OP
←(V1,V2)
NIL
NIL
NIL
ISVAR(V1);;
C(V1,V2);;
NIL
NIL

STACK(S);STACK(R);STACKSIZE(S,I);STACKSIZE(R,J);;

T

((C T NIL NIL (X,*))
(NEXTSYM T NIL NIL NIL)
(PROCESS T NIL NIL NIL)
(PROCESSYM T NIL NIL NIL)
(> NIL NIL NIL NIL)
(POLISH T NIL NIL NIL)
(TSL T NIL NIL NIL)
(= NIL NIL NIL NIL)
(INTEGER T NIL NIL NIL)
(VAR NIL T NIL NIL)
(LP NIL T NIL NIL)
(RP NIL T NIL NIL)
(OP NIL T NIL NIL)
(ISVAR NIL NIL NIL NIL)
(PUSHED T NIL NIL NIL)
(POPOPS T NIL NIL NIL)
(POPPED T NIL NIL NIL)
(TOPPED T NIL NIL NIL)
(STACKSIZE T NIL NIL (X,*))
(POPHOPS T NIL NIL NIL)
(STACK NIL NIL NIL NIL)
(EMPL T NIL NIL NIL)
(< NIL NIL NIL NIL)
)

NIL